import sympy as sym
import warnings

def isAlways(cond):
    # todo:how to handle undecidable condition such as x*2 > x
    flag = sym.simplify(cond)
    if flag != cond:
        warnings.warn("!!!!!!")
x = sym.symbols('x')
isAlways(x**2>0)